书籍列表

Mathematical theory of computation 封面
Mathematical theory of comp...

作者：Zohar Manna
Verification theory and practice essays dedicated to Zohar Manna on the occasion of his 64th birthday 封面
Verification theory and pra...

作者：Nachum Dershowitz...
计算的数学理论 下 封面
计算的数学理论 下

作者：ZOHAR MANNA著；王冬生译
返回首页